$\forall$$r$:RngSig. 0 $\in$ $\mid$$r$$\mid$